$\forall$$a$:$\mathbb{Z}$, $n$:$\mathbb{Z}^{-\circ}$. $\mid$$a$ rem $n$$\mid$ $<$ $\mid$$n$$\mid$